https://dasbestelexikon.de/en/wiki/17.5mm_film